4201. Substitutions in dynamics, arithmetics, and combinatorics
Author: Pytheas Fogg, N.
Library: (Semnan)
Subject: ، Rewriting systems )Computer science(,، Combinatorial analysis,، Computational complexity
Classification :
QA
267
.
F6S9
4202. Substitutions in dynamics, arithmetics, and combinatorics
Author: N. Pytheas Fogg; editors, V. Berthe...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Rewriting systems )Computer science(,، Combinatorial analysis,، Computational complexity
Classification :
QA
3
.
L28
Vol
.
1794
4203. Substitutions in dynamics, arithmetics and combinatorics
Author: Pytheas Fogg, N.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Rewriting systems )Computer science(,، Combinatorial analysis,، Computational complexity
Classification :
QA
3
.
L28
no
.
1794
4204. Subsystems of Second Order Arithmetic
Author: by Stephen G. Simpson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
Classification :
HF1008
.
B978
1999
4205. Summary of a Workshop on Information Technology Research for Federal Statistic
Author: / Committee on Computing and Communications Research to Enable Better Use of Information Technology in Government, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, Committee on National Statistics, Commission on Behavioral and Social Sciences and Education, National Research Council
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Public administration--Data processing--Research--United States--Congresses,Information technology--Research--United States--Congresses,United States--Statistical services--Data processing--Congresses,United States--Statistics--Databases--Research--Congresses
Classification :
HA
,
37
,.
U55
,
W67
,
1999
4206. Summary of a Workshop on Information Technology Research for Federal Statistics /
Author: Committee on Computing and Communications Research to Enable Better Use of Information Technology in Government, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, Committee on National Statistics, Commission on Behavioral and Social Sciences and Education, National Research Council.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information technology-- Research-- United States, Congresses.,Public administration-- Data processing-- Research-- United States, Congresses.,Information technology-- Research.,SOCIAL SCIENCE-- Statistics.,Statistical services-- Data processing.,United States, Statistical services, Data processing, Congresses.,United States, Statistics, Databases, Research, Congresses.,United States., 0, 0, 7
Classification :
HA37
.
U55
W67
1999eb
4207. Summary of a Workshop on Information Technology Research for Federal Statistics
Author: \ Committee on Computing and Communications Research to Enable Better Use of Information Technology in Government, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, Committee on National Statistics, Commission on Behavioral and Social Sciences and Education, National Research Council
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Public administration-- Data processing-- Research-- United States, Congresses.,Information technology-- Research-- United States, Congresses.,United States, Statistical services, Data processing, Congresses.,United States, Statistics, Databases, Research, Congresses.
Classification :
HA37
.
U55
W67
1999
E-book
,
4208. Surrogate-Based Modeling and Optimizatio
Author: / edited by Slawomir Koziel, Leifur Leifsson
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science, Mathematics,Mathematical optimization,Astronautics,Electronic books
Classification :
E-BOOK
4209. Survey of text mining I
Author: / Michael W. Berry, Malu Castellanos, editors
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Data mining--Congresses,Cluster analysis--Congresses,Discriminant analysis--Congresses,Information retrieval--Congresses
Classification :
QA
,
76
.
9
,.
D343
,
S69
,
2008
4210. Sustainable buildings in practice: what the users think
Author: Baird, George
Library: Central Library and Documentation Center (Kerman)
Subject: Evaluation ، Sustainable buildings,Performance ، Buildings
Classification :
TH
880
.
B35
4211. Sustainable buildings in practice : what the users think
Author: Baird, George
Library: (Semnan)
Subject: Evaluation ، Sustainable buildings,Performance ، Buildings
Classification :
TH
880
.
B35
2010
4212. Sustained Simulation Performance 2018 and 2019
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer mathematics. ; Computer simulation. ; Applied mathematics. ; Engineering mathematics. ; Computational Science and Engineering. ;
4213. Sweet Reason
Author: / James M. Henle, Jay L. Garfield, Thomas Tymoczko
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Modern, 20th century,PHILOSOPHY / Logic, bisacsh
Classification :
BC38
.
T86
2012
4214. Symbolic Algebraic Methods and Verification Methods
Author: edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing.,Computer science.,Mathematics.
Classification :
QA76
.
9
.
M35
E358
2001
4215. Symbolic Rewriting Techniques
Author: edited by Manuel Bronstein, Volker Weispfenning, Johannes Grabmeier.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics.
4216. Symbolic Rewriting Techniques
Author: \ Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Mathematics,ریاضیات,a03,a03
Classification :
E-Book
,
4217. Symbolic and algebraic computation
Author: / P. Gianni, ed
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematics -- Data processing -- Congresses,Algebra -- Data processing --Congresses
Classification :
QA
76
.
95
.
I57
1988
4218. Symbolic and algebraic computation : International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988 : Proceedings
Author: P. Gianni, ed
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Algebra
Classification :
QA
76
.
L28
Vol
.
358
4219. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
Author: / P. Gianni, ed
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Mathematics - Data processing - Congresses,Algebra - Data processing - Congresses
Classification :
QA76
.
95
.
I57
1988
4220. Symbolic and algebraic computation: International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Data processing Congresses ، Mathematics,Data processing Congresses ، Algebra
Classification :
QA
76
.
95
.
I57
1988
